H-Termination proof of /home/matraf/haskell/eval_FullyBlown

YES 1.619 H-Termination proof of /home/matraf/haskell/eval_FullyBlown_Fast/empty.hs
H-Termination of the given Haskell-Program with start terms could successfully be proven:

↳ HASKELL

  ↳ BR

mainModule Main

((index :: (Char,Char) -> Char -> Int) :: (Char,Char) -> Char -> Int)

module Main where

import qualified Prelude

Replaced joker patterns by fresh variables and removed binding patterns.
Binding Reductions:
The bind variable of the following binding Pattern

b@(vw,vx)

is replaced by the following term

(vw,vx)

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

mainModule Main

((index :: (Char,Char) -> Char -> Int) :: (Char,Char) -> Char -> Int)

module Main where

import qualified Prelude

Cond Reductions:
The following Function with conditions

undefined

| False

= undefined

is transformed to

undefined = undefined1

undefined0 True = undefined

undefined1 = undefined0 False

The following Function with conditions

index (vw,vx) ci

| inRange (vw,vx) ci

= fromEnum ci - fromEnum vw

| otherwise

= error []

is transformed to

index (vw,vx) ci = index2 (vw,vx) ci

index1 vw vx ci True = fromEnum ci - fromEnum vw

index1 vw vx ci False = index0 vw vx ci otherwise

index0 vw vx ci True = error []

index2 (vw,vx) ci = index1 vw vx ci (inRange (vw,vx) ci)

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ LetRed

mainModule Main

((index :: (Char,Char) -> Char -> Int) :: (Char,Char) -> Char -> Int)

module Main where

import qualified Prelude

Let/Where Reductions:
The bindings of the following Let/Where expression

fromEnum c <= i && i <= fromEnum c'

where

i = fromEnum ci

are unpacked to the following functions on top level

inRangeI wu = fromEnum wu

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ LetRed

            ↳ HASKELL

              ↳ Narrow

mainModule Main

(index :: (Char,Char) -> Char -> Int)

module Main where

import qualified Prelude

Haskell To QDPs

digraph dp_graph {
node [outthreshold=100, inthreshold=100];1[label="index",fontsize=16,color="grey",shape="box"];1 -> 3[label="",style="dashed", color="grey", weight=3];
3[label="index wv3",fontsize=16,color="grey",shape="box"];3 -> 4[label="",style="dashed", color="grey", weight=3];
4[label="index wv3 wv4",fontsize=16,color="burlywood",shape="triangle"];704[label="wv3/(wv30,wv31)",fontsize=10,color="white",style="solid",shape="box"];4 -> 704[label="",style="solid", color="burlywood", weight=9];
704 -> 5[label="",style="solid", color="burlywood", weight=3];
5[label="index (wv30,wv31) wv4",fontsize=16,color="black",shape="box"];5 -> 6[label="",style="solid", color="black", weight=3];
6[label="index2 (wv30,wv31) wv4",fontsize=16,color="black",shape="box"];6 -> 7[label="",style="solid", color="black", weight=3];
7[label="index1 wv30 wv31 wv4 (inRange (wv30,wv31) wv4)",fontsize=16,color="black",shape="box"];7 -> 8[label="",style="solid", color="black", weight=3];
8[label="index1 wv30 wv31 wv4 (fromEnum wv30 <= inRangeI wv4 && inRangeI wv4 <= fromEnum wv31)",fontsize=16,color="black",shape="box"];8 -> 9[label="",style="solid", color="black", weight=3];
9[label="index1 wv30 wv31 wv4 (compare (fromEnum wv30) (inRangeI wv4) /= GT && inRangeI wv4 <= fromEnum wv31)",fontsize=16,color="black",shape="box"];9 -> 10[label="",style="solid", color="black", weight=3];
10[label="index1 wv30 wv31 wv4 (not (compare (fromEnum wv30) (inRangeI wv4) == GT) && inRangeI wv4 <= fromEnum wv31)",fontsize=16,color="black",shape="box"];10 -> 11[label="",style="solid", color="black", weight=3];
11[label="index1 wv30 wv31 wv4 (not (primCmpInt (fromEnum wv30) (inRangeI wv4) == GT) && inRangeI wv4 <= fromEnum wv31)",fontsize=16,color="black",shape="box"];11 -> 12[label="",style="solid", color="black", weight=3];
12[label="index1 wv30 wv31 wv4 (not (primCmpInt (primCharToInt wv30) (inRangeI wv4) == GT) && inRangeI wv4 <= fromEnum wv31)",fontsize=16,color="burlywood",shape="box"];705[label="wv30/Char wv300",fontsize=10,color="white",style="solid",shape="box"];12 -> 705[label="",style="solid", color="burlywood", weight=9];
705 -> 13[label="",style="solid", color="burlywood", weight=3];
13[label="index1 (Char wv300) wv31 wv4 (not (primCmpInt (primCharToInt (Char wv300)) (inRangeI wv4) == GT) && inRangeI wv4 <= fromEnum wv31)",fontsize=16,color="black",shape="box"];13 -> 14[label="",style="solid", color="black", weight=3];
14[label="index1 (Char wv300) wv31 wv4 (not (primCmpInt (Pos wv300) (inRangeI wv4) == GT) && inRangeI wv4 <= fromEnum wv31)",fontsize=16,color="burlywood",shape="box"];706[label="wv300/Succ wv3000",fontsize=10,color="white",style="solid",shape="box"];14 -> 706[label="",style="solid", color="burlywood", weight=9];
706 -> 15[label="",style="solid", color="burlywood", weight=3];
707[label="wv300/Zero",fontsize=10,color="white",style="solid",shape="box"];14 -> 707[label="",style="solid", color="burlywood", weight=9];
707 -> 16[label="",style="solid", color="burlywood", weight=3];
15[label="index1 (Char (Succ wv3000)) wv31 wv4 (not (primCmpInt (Pos (Succ wv3000)) (inRangeI wv4) == GT) && inRangeI wv4 <= fromEnum wv31)",fontsize=16,color="black",shape="box"];15 -> 17[label="",style="solid", color="black", weight=3];
16[label="index1 (Char Zero) wv31 wv4 (not (primCmpInt (Pos Zero) (inRangeI wv4) == GT) && inRangeI wv4 <= fromEnum wv31)",fontsize=16,color="black",shape="box"];16 -> 18[label="",style="solid", color="black", weight=3];
17[label="index1 (Char (Succ wv3000)) wv31 wv4 (not (primCmpInt (Pos (Succ wv3000)) (fromEnum wv4) == GT) && inRangeI wv4 <= fromEnum wv31)",fontsize=16,color="black",shape="box"];17 -> 19[label="",style="solid", color="black", weight=3];
18[label="index1 (Char Zero) wv31 wv4 (not (primCmpInt (Pos Zero) (fromEnum wv4) == GT) && inRangeI wv4 <= fromEnum wv31)",fontsize=16,color="black",shape="box"];18 -> 20[label="",style="solid", color="black", weight=3];
19[label="index1 (Char (Succ wv3000)) wv31 wv4 (not (primCmpInt (Pos (Succ wv3000)) (primCharToInt wv4) == GT) && inRangeI wv4 <= fromEnum wv31)",fontsize=16,color="burlywood",shape="box"];708[label="wv4/Char wv40",fontsize=10,color="white",style="solid",shape="box"];19 -> 708[label="",style="solid", color="burlywood", weight=9];
708 -> 21[label="",style="solid", color="burlywood", weight=3];
20[label="index1 (Char Zero) wv31 wv4 (not (primCmpInt (Pos Zero) (primCharToInt wv4) == GT) && inRangeI wv4 <= fromEnum wv31)",fontsize=16,color="burlywood",shape="box"];709[label="wv4/Char wv40",fontsize=10,color="white",style="solid",shape="box"];20 -> 709[label="",style="solid", color="burlywood", weight=9];
709 -> 22[label="",style="solid", color="burlywood", weight=3];
21[label="index1 (Char (Succ wv3000)) wv31 (Char wv40) (not (primCmpInt (Pos (Succ wv3000)) (primCharToInt (Char wv40)) == GT) && inRangeI (Char wv40) <= fromEnum wv31)",fontsize=16,color="black",shape="box"];21 -> 23[label="",style="solid", color="black", weight=3];
22[label="index1 (Char Zero) wv31 (Char wv40) (not (primCmpInt (Pos Zero) (primCharToInt (Char wv40)) == GT) && inRangeI (Char wv40) <= fromEnum wv31)",fontsize=16,color="black",shape="box"];22 -> 24[label="",style="solid", color="black", weight=3];
23[label="index1 (Char (Succ wv3000)) wv31 (Char wv40) (not (primCmpInt (Pos (Succ wv3000)) (Pos wv40) == GT) && inRangeI (Char wv40) <= fromEnum wv31)",fontsize=16,color="black",shape="box"];23 -> 25[label="",style="solid", color="black", weight=3];
24[label="index1 (Char Zero) wv31 (Char wv40) (not (primCmpInt (Pos Zero) (Pos wv40) == GT) && inRangeI (Char wv40) <= fromEnum wv31)",fontsize=16,color="burlywood",shape="box"];710[label="wv40/Succ wv400",fontsize=10,color="white",style="solid",shape="box"];24 -> 710[label="",style="solid", color="burlywood", weight=9];
710 -> 26[label="",style="solid", color="burlywood", weight=3];
711[label="wv40/Zero",fontsize=10,color="white",style="solid",shape="box"];24 -> 711[label="",style="solid", color="burlywood", weight=9];
711 -> 27[label="",style="solid", color="burlywood", weight=3];
25[label="index1 (Char (Succ wv3000)) wv31 (Char wv40) (not (primCmpNat (Succ wv3000) wv40 == GT) && inRangeI (Char wv40) <= fromEnum wv31)",fontsize=16,color="burlywood",shape="box"];712[label="wv40/Succ wv400",fontsize=10,color="white",style="solid",shape="box"];25 -> 712[label="",style="solid", color="burlywood", weight=9];
712 -> 28[label="",style="solid", color="burlywood", weight=3];
713[label="wv40/Zero",fontsize=10,color="white",style="solid",shape="box"];25 -> 713[label="",style="solid", color="burlywood", weight=9];
713 -> 29[label="",style="solid", color="burlywood", weight=3];
26[label="index1 (Char Zero) wv31 (Char (Succ wv400)) (not (primCmpInt (Pos Zero) (Pos (Succ wv400)) == GT) && inRangeI (Char (Succ wv400)) <= fromEnum wv31)",fontsize=16,color="black",shape="box"];26 -> 30[label="",style="solid", color="black", weight=3];
27[label="index1 (Char Zero) wv31 (Char Zero) (not (primCmpInt (Pos Zero) (Pos Zero) == GT) && inRangeI (Char Zero) <= fromEnum wv31)",fontsize=16,color="black",shape="box"];27 -> 31[label="",style="solid", color="black", weight=3];
28[label="index1 (Char (Succ wv3000)) wv31 (Char (Succ wv400)) (not (primCmpNat (Succ wv3000) (Succ wv400) == GT) && inRangeI (Char (Succ wv400)) <= fromEnum wv31)",fontsize=16,color="black",shape="box"];28 -> 32[label="",style="solid", color="black", weight=3];
29[label="index1 (Char (Succ wv3000)) wv31 (Char Zero) (not (primCmpNat (Succ wv3000) Zero == GT) && inRangeI (Char Zero) <= fromEnum wv31)",fontsize=16,color="black",shape="box"];29 -> 33[label="",style="solid", color="black", weight=3];
30[label="index1 (Char Zero) wv31 (Char (Succ wv400)) (not (primCmpNat Zero (Succ wv400) == GT) && inRangeI (Char (Succ wv400)) <= fromEnum wv31)",fontsize=16,color="black",shape="box"];30 -> 34[label="",style="solid", color="black", weight=3];
31[label="index1 (Char Zero) wv31 (Char Zero) (not (EQ == GT) && inRangeI (Char Zero) <= fromEnum wv31)",fontsize=16,color="black",shape="box"];31 -> 35[label="",style="solid", color="black", weight=3];
32 -> 240[label="",style="dashed", color="red", weight=0];
32[label="index1 (Char (Succ wv3000)) wv31 (Char (Succ wv400)) (not (primCmpNat wv3000 wv400 == GT) && inRangeI (Char (Succ wv400)) <= fromEnum wv31)",fontsize=16,color="magenta"];32 -> 241[label="",style="dashed", color="magenta", weight=3];
32 -> 242[label="",style="dashed", color="magenta", weight=3];
32 -> 243[label="",style="dashed", color="magenta", weight=3];
32 -> 244[label="",style="dashed", color="magenta", weight=3];
32 -> 245[label="",style="dashed", color="magenta", weight=3];
33[label="index1 (Char (Succ wv3000)) wv31 (Char Zero) (not (GT == GT) && inRangeI (Char Zero) <= fromEnum wv31)",fontsize=16,color="black",shape="box"];33 -> 38[label="",style="solid", color="black", weight=3];
34[label="index1 (Char Zero) wv31 (Char (Succ wv400)) (not (LT == GT) && inRangeI (Char (Succ wv400)) <= fromEnum wv31)",fontsize=16,color="black",shape="box"];34 -> 39[label="",style="solid", color="black", weight=3];
35[label="index1 (Char Zero) wv31 (Char Zero) (not False && inRangeI (Char Zero) <= fromEnum wv31)",fontsize=16,color="black",shape="box"];35 -> 40[label="",style="solid", color="black", weight=3];
241[label="wv31",fontsize=16,color="green",shape="box"];242[label="wv400",fontsize=16,color="green",shape="box"];243[label="wv3000",fontsize=16,color="green",shape="box"];244[label="wv3000",fontsize=16,color="green",shape="box"];245[label="wv400",fontsize=16,color="green",shape="box"];240[label="index1 (Char (Succ wv22)) wv23 (Char (Succ wv24)) (not (primCmpNat wv25 wv26 == GT) && inRangeI (Char (Succ wv24)) <= fromEnum wv23)",fontsize=16,color="burlywood",shape="triangle"];715[label="wv25/Succ wv250",fontsize=10,color="white",style="solid",shape="box"];240 -> 715[label="",style="solid", color="burlywood", weight=9];
715 -> 276[label="",style="solid", color="burlywood", weight=3];
716[label="wv25/Zero",fontsize=10,color="white",style="solid",shape="box"];240 -> 716[label="",style="solid", color="burlywood", weight=9];
716 -> 277[label="",style="solid", color="burlywood", weight=3];
38[label="index1 (Char (Succ wv3000)) wv31 (Char Zero) (not True && inRangeI (Char Zero) <= fromEnum wv31)",fontsize=16,color="black",shape="box"];38 -> 45[label="",style="solid", color="black", weight=3];
39[label="index1 (Char Zero) wv31 (Char (Succ wv400)) (not False && inRangeI (Char (Succ wv400)) <= fromEnum wv31)",fontsize=16,color="black",shape="box"];39 -> 46[label="",style="solid", color="black", weight=3];
40[label="index1 (Char Zero) wv31 (Char Zero) (True && inRangeI (Char Zero) <= fromEnum wv31)",fontsize=16,color="black",shape="box"];40 -> 47[label="",style="solid", color="black", weight=3];
276[label="index1 (Char (Succ wv22)) wv23 (Char (Succ wv24)) (not (primCmpNat (Succ wv250) wv26 == GT) && inRangeI (Char (Succ wv24)) <= fromEnum wv23)",fontsize=16,color="burlywood",shape="box"];717[label="wv26/Succ wv260",fontsize=10,color="white",style="solid",shape="box"];276 -> 717[label="",style="solid", color="burlywood", weight=9];
717 -> 285[label="",style="solid", color="burlywood", weight=3];
718[label="wv26/Zero",fontsize=10,color="white",style="solid",shape="box"];276 -> 718[label="",style="solid", color="burlywood", weight=9];
718 -> 286[label="",style="solid", color="burlywood", weight=3];
277[label="index1 (Char (Succ wv22)) wv23 (Char (Succ wv24)) (not (primCmpNat Zero wv26 == GT) && inRangeI (Char (Succ wv24)) <= fromEnum wv23)",fontsize=16,color="burlywood",shape="box"];719[label="wv26/Succ wv260",fontsize=10,color="white",style="solid",shape="box"];277 -> 719[label="",style="solid", color="burlywood", weight=9];
719 -> 287[label="",style="solid", color="burlywood", weight=3];
720[label="wv26/Zero",fontsize=10,color="white",style="solid",shape="box"];277 -> 720[label="",style="solid", color="burlywood", weight=9];
720 -> 288[label="",style="solid", color="burlywood", weight=3];
45[label="index1 (Char (Succ wv3000)) wv31 (Char Zero) (False && inRangeI (Char Zero) <= fromEnum wv31)",fontsize=16,color="black",shape="box"];45 -> 52[label="",style="solid", color="black", weight=3];
46[label="index1 (Char Zero) wv31 (Char (Succ wv400)) (True && inRangeI (Char (Succ wv400)) <= fromEnum wv31)",fontsize=16,color="black",shape="box"];46 -> 53[label="",style="solid", color="black", weight=3];
47[label="index1 (Char Zero) wv31 (Char Zero) (inRangeI (Char Zero) <= fromEnum wv31)",fontsize=16,color="black",shape="box"];47 -> 54[label="",style="solid", color="black", weight=3];
285[label="index1 (Char (Succ wv22)) wv23 (Char (Succ wv24)) (not (primCmpNat (Succ wv250) (Succ wv260) == GT) && inRangeI (Char (Succ wv24)) <= fromEnum wv23)",fontsize=16,color="black",shape="box"];285 -> 295[label="",style="solid", color="black", weight=3];
286[label="index1 (Char (Succ wv22)) wv23 (Char (Succ wv24)) (not (primCmpNat (Succ wv250) Zero == GT) && inRangeI (Char (Succ wv24)) <= fromEnum wv23)",fontsize=16,color="black",shape="box"];286 -> 296[label="",style="solid", color="black", weight=3];
287[label="index1 (Char (Succ wv22)) wv23 (Char (Succ wv24)) (not (primCmpNat Zero (Succ wv260) == GT) && inRangeI (Char (Succ wv24)) <= fromEnum wv23)",fontsize=16,color="black",shape="box"];287 -> 297[label="",style="solid", color="black", weight=3];
288[label="index1 (Char (Succ wv22)) wv23 (Char (Succ wv24)) (not (primCmpNat Zero Zero == GT) && inRangeI (Char (Succ wv24)) <= fromEnum wv23)",fontsize=16,color="black",shape="box"];288 -> 298[label="",style="solid", color="black", weight=3];
52[label="index1 (Char (Succ wv3000)) wv31 (Char Zero) False",fontsize=16,color="black",shape="box"];52 -> 60[label="",style="solid", color="black", weight=3];
53[label="index1 (Char Zero) wv31 (Char (Succ wv400)) (inRangeI (Char (Succ wv400)) <= fromEnum wv31)",fontsize=16,color="black",shape="box"];53 -> 61[label="",style="solid", color="black", weight=3];
54[label="index1 (Char Zero) wv31 (Char Zero) (compare (inRangeI (Char Zero)) (fromEnum wv31) /= GT)",fontsize=16,color="black",shape="box"];54 -> 62[label="",style="solid", color="black", weight=3];
295 -> 240[label="",style="dashed", color="red", weight=0];
295[label="index1 (Char (Succ wv22)) wv23 (Char (Succ wv24)) (not (primCmpNat wv250 wv260 == GT) && inRangeI (Char (Succ wv24)) <= fromEnum wv23)",fontsize=16,color="magenta"];295 -> 306[label="",style="dashed", color="magenta", weight=3];
295 -> 307[label="",style="dashed", color="magenta", weight=3];
296[label="index1 (Char (Succ wv22)) wv23 (Char (Succ wv24)) (not (GT == GT) && inRangeI (Char (Succ wv24)) <= fromEnum wv23)",fontsize=16,color="black",shape="box"];296 -> 308[label="",style="solid", color="black", weight=3];
297[label="index1 (Char (Succ wv22)) wv23 (Char (Succ wv24)) (not (LT == GT) && inRangeI (Char (Succ wv24)) <= fromEnum wv23)",fontsize=16,color="black",shape="box"];297 -> 309[label="",style="solid", color="black", weight=3];
298[label="index1 (Char (Succ wv22)) wv23 (Char (Succ wv24)) (not (EQ == GT) && inRangeI (Char (Succ wv24)) <= fromEnum wv23)",fontsize=16,color="black",shape="box"];298 -> 310[label="",style="solid", color="black", weight=3];
60[label="index0 (Char (Succ wv3000)) wv31 (Char Zero) otherwise",fontsize=16,color="black",shape="box"];60 -> 70[label="",style="solid", color="black", weight=3];
61[label="index1 (Char Zero) wv31 (Char (Succ wv400)) (compare (inRangeI (Char (Succ wv400))) (fromEnum wv31) /= GT)",fontsize=16,color="black",shape="box"];61 -> 71[label="",style="solid", color="black", weight=3];
62[label="index1 (Char Zero) wv31 (Char Zero) (not (compare (inRangeI (Char Zero)) (fromEnum wv31) == GT))",fontsize=16,color="black",shape="box"];62 -> 72[label="",style="solid", color="black", weight=3];
306[label="wv260",fontsize=16,color="green",shape="box"];307[label="wv250",fontsize=16,color="green",shape="box"];308[label="index1 (Char (Succ wv22)) wv23 (Char (Succ wv24)) (not True && inRangeI (Char (Succ wv24)) <= fromEnum wv23)",fontsize=16,color="black",shape="box"];308 -> 320[label="",style="solid", color="black", weight=3];
309[label="index1 (Char (Succ wv22)) wv23 (Char (Succ wv24)) (not False && inRangeI (Char (Succ wv24)) <= fromEnum wv23)",fontsize=16,color="black",shape="triangle"];309 -> 321[label="",style="solid", color="black", weight=3];
310 -> 309[label="",style="dashed", color="red", weight=0];
310[label="index1 (Char (Succ wv22)) wv23 (Char (Succ wv24)) (not False && inRangeI (Char (Succ wv24)) <= fromEnum wv23)",fontsize=16,color="magenta"];70[label="index0 (Char (Succ wv3000)) wv31 (Char Zero) True",fontsize=16,color="black",shape="box"];70 -> 80[label="",style="solid", color="black", weight=3];
71[label="index1 (Char Zero) wv31 (Char (Succ wv400)) (not (compare (inRangeI (Char (Succ wv400))) (fromEnum wv31) == GT))",fontsize=16,color="black",shape="box"];71 -> 81[label="",style="solid", color="black", weight=3];
72[label="index1 (Char Zero) wv31 (Char Zero) (not (primCmpInt (inRangeI (Char Zero)) (fromEnum wv31) == GT))",fontsize=16,color="black",shape="box"];72 -> 82[label="",style="solid", color="black", weight=3];
320[label="index1 (Char (Succ wv22)) wv23 (Char (Succ wv24)) (False && inRangeI (Char (Succ wv24)) <= fromEnum wv23)",fontsize=16,color="black",shape="box"];320 -> 330[label="",style="solid", color="black", weight=3];
321[label="index1 (Char (Succ wv22)) wv23 (Char (Succ wv24)) (True && inRangeI (Char (Succ wv24)) <= fromEnum wv23)",fontsize=16,color="black",shape="box"];321 -> 331[label="",style="solid", color="black", weight=3];
80[label="error []",fontsize=16,color="black",shape="triangle"];80 -> 91[label="",style="solid", color="black", weight=3];
81[label="index1 (Char Zero) wv31 (Char (Succ wv400)) (not (primCmpInt (inRangeI (Char (Succ wv400))) (fromEnum wv31) == GT))",fontsize=16,color="black",shape="box"];81 -> 92[label="",style="solid", color="black", weight=3];
82[label="index1 (Char Zero) wv31 (Char Zero) (not (primCmpInt (fromEnum (Char Zero)) (fromEnum wv31) == GT))",fontsize=16,color="black",shape="box"];82 -> 93[label="",style="solid", color="black", weight=3];
330[label="index1 (Char (Succ wv22)) wv23 (Char (Succ wv24)) False",fontsize=16,color="black",shape="triangle"];330 -> 340[label="",style="solid", color="black", weight=3];
331[label="index1 (Char (Succ wv22)) wv23 (Char (Succ wv24)) (inRangeI (Char (Succ wv24)) <= fromEnum wv23)",fontsize=16,color="black",shape="box"];331 -> 341[label="",style="solid", color="black", weight=3];
91[label="error []",fontsize=16,color="red",shape="box"];92[label="index1 (Char Zero) wv31 (Char (Succ wv400)) (not (primCmpInt (fromEnum (Char (Succ wv400))) (fromEnum wv31) == GT))",fontsize=16,color="black",shape="box"];92 -> 104[label="",style="solid", color="black", weight=3];
93[label="index1 (Char Zero) wv31 (Char Zero) (not (primCmpInt (primCharToInt (Char Zero)) (fromEnum wv31) == GT))",fontsize=16,color="black",shape="box"];93 -> 105[label="",style="solid", color="black", weight=3];
340[label="index0 (Char (Succ wv22)) wv23 (Char (Succ wv24)) otherwise",fontsize=16,color="black",shape="box"];340 -> 352[label="",style="solid", color="black", weight=3];
341[label="index1 (Char (Succ wv22)) wv23 (Char (Succ wv24)) (compare (inRangeI (Char (Succ wv24))) (fromEnum wv23) /= GT)",fontsize=16,color="black",shape="box"];341 -> 353[label="",style="solid", color="black", weight=3];
104[label="index1 (Char Zero) wv31 (Char (Succ wv400)) (not (primCmpInt (primCharToInt (Char (Succ wv400))) (fromEnum wv31) == GT))",fontsize=16,color="black",shape="box"];104 -> 116[label="",style="solid", color="black", weight=3];
105[label="index1 (Char Zero) wv31 (Char Zero) (not (primCmpInt (Pos Zero) (fromEnum wv31) == GT))",fontsize=16,color="black",shape="box"];105 -> 117[label="",style="solid", color="black", weight=3];
352[label="index0 (Char (Succ wv22)) wv23 (Char (Succ wv24)) True",fontsize=16,color="black",shape="box"];352 -> 362[label="",style="solid", color="black", weight=3];
353[label="index1 (Char (Succ wv22)) wv23 (Char (Succ wv24)) (not (compare (inRangeI (Char (Succ wv24))) (fromEnum wv23) == GT))",fontsize=16,color="black",shape="box"];353 -> 363[label="",style="solid", color="black", weight=3];
116[label="index1 (Char Zero) wv31 (Char (Succ wv400)) (not (primCmpInt (Pos (Succ wv400)) (fromEnum wv31) == GT))",fontsize=16,color="black",shape="box"];116 -> 128[label="",style="solid", color="black", weight=3];
117[label="index1 (Char Zero) wv31 (Char Zero) (not (primCmpInt (Pos Zero) (primCharToInt wv31) == GT))",fontsize=16,color="burlywood",shape="box"];723[label="wv31/Char wv310",fontsize=10,color="white",style="solid",shape="box"];117 -> 723[label="",style="solid", color="burlywood", weight=9];
723 -> 129[label="",style="solid", color="burlywood", weight=3];
362 -> 80[label="",style="dashed", color="red", weight=0];
362[label="error []",fontsize=16,color="magenta"];363[label="index1 (Char (Succ wv22)) wv23 (Char (Succ wv24)) (not (primCmpInt (inRangeI (Char (Succ wv24))) (fromEnum wv23) == GT))",fontsize=16,color="black",shape="box"];363 -> 372[label="",style="solid", color="black", weight=3];
128[label="index1 (Char Zero) wv31 (Char (Succ wv400)) (not (primCmpInt (Pos (Succ wv400)) (primCharToInt wv31) == GT))",fontsize=16,color="burlywood",shape="box"];725[label="wv31/Char wv310",fontsize=10,color="white",style="solid",shape="box"];128 -> 725[label="",style="solid", color="burlywood", weight=9];
725 -> 142[label="",style="solid", color="burlywood", weight=3];
129[label="index1 (Char Zero) (Char wv310) (Char Zero) (not (primCmpInt (Pos Zero) (primCharToInt (Char wv310)) == GT))",fontsize=16,color="black",shape="box"];129 -> 143[label="",style="solid", color="black", weight=3];
372[label="index1 (Char (Succ wv22)) wv23 (Char (Succ wv24)) (not (primCmpInt (fromEnum (Char (Succ wv24))) (fromEnum wv23) == GT))",fontsize=16,color="black",shape="box"];372 -> 383[label="",style="solid", color="black", weight=3];
142[label="index1 (Char Zero) (Char wv310) (Char (Succ wv400)) (not (primCmpInt (Pos (Succ wv400)) (primCharToInt (Char wv310)) == GT))",fontsize=16,color="black",shape="box"];142 -> 156[label="",style="solid", color="black", weight=3];
143[label="index1 (Char Zero) (Char wv310) (Char Zero) (not (primCmpInt (Pos Zero) (Pos wv310) == GT))",fontsize=16,color="burlywood",shape="box"];726[label="wv310/Succ wv3100",fontsize=10,color="white",style="solid",shape="box"];143 -> 726[label="",style="solid", color="burlywood", weight=9];
726 -> 157[label="",style="solid", color="burlywood", weight=3];
727[label="wv310/Zero",fontsize=10,color="white",style="solid",shape="box"];143 -> 727[label="",style="solid", color="burlywood", weight=9];
727 -> 158[label="",style="solid", color="burlywood", weight=3];
383[label="index1 (Char (Succ wv22)) wv23 (Char (Succ wv24)) (not (primCmpInt (primCharToInt (Char (Succ wv24))) (fromEnum wv23) == GT))",fontsize=16,color="black",shape="box"];383 -> 393[label="",style="solid", color="black", weight=3];
156[label="index1 (Char Zero) (Char wv310) (Char (Succ wv400)) (not (primCmpInt (Pos (Succ wv400)) (Pos wv310) == GT))",fontsize=16,color="black",shape="box"];156 -> 171[label="",style="solid", color="black", weight=3];
157[label="index1 (Char Zero) (Char (Succ wv3100)) (Char Zero) (not (primCmpInt (Pos Zero) (Pos (Succ wv3100)) == GT))",fontsize=16,color="black",shape="box"];157 -> 172[label="",style="solid", color="black", weight=3];
158[label="index1 (Char Zero) (Char Zero) (Char Zero) (not (primCmpInt (Pos Zero) (Pos Zero) == GT))",fontsize=16,color="black",shape="box"];158 -> 173[label="",style="solid", color="black", weight=3];
393[label="index1 (Char (Succ wv22)) wv23 (Char (Succ wv24)) (not (primCmpInt (Pos (Succ wv24)) (fromEnum wv23) == GT))",fontsize=16,color="black",shape="box"];393 -> 403[label="",style="solid", color="black", weight=3];
171[label="index1 (Char Zero) (Char wv310) (Char (Succ wv400)) (not (primCmpNat (Succ wv400) wv310 == GT))",fontsize=16,color="burlywood",shape="box"];728[label="wv310/Succ wv3100",fontsize=10,color="white",style="solid",shape="box"];171 -> 728[label="",style="solid", color="burlywood", weight=9];
728 -> 188[label="",style="solid", color="burlywood", weight=3];
729[label="wv310/Zero",fontsize=10,color="white",style="solid",shape="box"];171 -> 729[label="",style="solid", color="burlywood", weight=9];
729 -> 189[label="",style="solid", color="burlywood", weight=3];
172[label="index1 (Char Zero) (Char (Succ wv3100)) (Char Zero) (not (primCmpNat Zero (Succ wv3100) == GT))",fontsize=16,color="black",shape="box"];172 -> 190[label="",style="solid", color="black", weight=3];
173[label="index1 (Char Zero) (Char Zero) (Char Zero) (not (EQ == GT))",fontsize=16,color="black",shape="box"];173 -> 191[label="",style="solid", color="black", weight=3];
403[label="index1 (Char (Succ wv22)) wv23 (Char (Succ wv24)) (not (primCmpInt (Pos (Succ wv24)) (primCharToInt wv23) == GT))",fontsize=16,color="burlywood",shape="box"];730[label="wv23/Char wv230",fontsize=10,color="white",style="solid",shape="box"];403 -> 730[label="",style="solid", color="burlywood", weight=9];
730 -> 414[label="",style="solid", color="burlywood", weight=3];
188[label="index1 (Char Zero) (Char (Succ wv3100)) (Char (Succ wv400)) (not (primCmpNat (Succ wv400) (Succ wv3100) == GT))",fontsize=16,color="black",shape="box"];188 -> 206[label="",style="solid", color="black", weight=3];
189[label="index1 (Char Zero) (Char Zero) (Char (Succ wv400)) (not (primCmpNat (Succ wv400) Zero == GT))",fontsize=16,color="black",shape="box"];189 -> 207[label="",style="solid", color="black", weight=3];
190[label="index1 (Char Zero) (Char (Succ wv3100)) (Char Zero) (not (LT == GT))",fontsize=16,color="black",shape="box"];190 -> 208[label="",style="solid", color="black", weight=3];
191[label="index1 (Char Zero) (Char Zero) (Char Zero) (not False)",fontsize=16,color="black",shape="box"];191 -> 209[label="",style="solid", color="black", weight=3];
414[label="index1 (Char (Succ wv22)) (Char wv230) (Char (Succ wv24)) (not (primCmpInt (Pos (Succ wv24)) (primCharToInt (Char wv230)) == GT))",fontsize=16,color="black",shape="box"];414 -> 424[label="",style="solid", color="black", weight=3];
206 -> 443[label="",style="dashed", color="red", weight=0];
206[label="index1 (Char Zero) (Char (Succ wv3100)) (Char (Succ wv400)) (not (primCmpNat wv400 wv3100 == GT))",fontsize=16,color="magenta"];206 -> 444[label="",style="dashed", color="magenta", weight=3];
206 -> 445[label="",style="dashed", color="magenta", weight=3];
206 -> 446[label="",style="dashed", color="magenta", weight=3];
206 -> 447[label="",style="dashed", color="magenta", weight=3];
207[label="index1 (Char Zero) (Char Zero) (Char (Succ wv400)) (not (GT == GT))",fontsize=16,color="black",shape="box"];207 -> 237[label="",style="solid", color="black", weight=3];
208[label="index1 (Char Zero) (Char (Succ wv3100)) (Char Zero) (not False)",fontsize=16,color="black",shape="box"];208 -> 238[label="",style="solid", color="black", weight=3];
209[label="index1 (Char Zero) (Char Zero) (Char Zero) True",fontsize=16,color="black",shape="box"];209 -> 239[label="",style="solid", color="black", weight=3];
424[label="index1 (Char (Succ wv22)) (Char wv230) (Char (Succ wv24)) (not (primCmpInt (Pos (Succ wv24)) (Pos wv230) == GT))",fontsize=16,color="black",shape="box"];424 -> 429[label="",style="solid", color="black", weight=3];
444[label="wv400",fontsize=16,color="green",shape="box"];445[label="wv3100",fontsize=16,color="green",shape="box"];446[label="wv400",fontsize=16,color="green",shape="box"];447[label="wv3100",fontsize=16,color="green",shape="box"];443[label="index1 (Char Zero) (Char (Succ wv36)) (Char (Succ wv37)) (not (primCmpNat wv38 wv39 == GT))",fontsize=16,color="burlywood",shape="triangle"];732[label="wv38/Succ wv380",fontsize=10,color="white",style="solid",shape="box"];443 -> 732[label="",style="solid", color="burlywood", weight=9];
732 -> 472[label="",style="solid", color="burlywood", weight=3];
733[label="wv38/Zero",fontsize=10,color="white",style="solid",shape="box"];443 -> 733[label="",style="solid", color="burlywood", weight=9];
733 -> 473[label="",style="solid", color="burlywood", weight=3];
237[label="index1 (Char Zero) (Char Zero) (Char (Succ wv400)) (not True)",fontsize=16,color="black",shape="box"];237 -> 282[label="",style="solid", color="black", weight=3];
238[label="index1 (Char Zero) (Char (Succ wv3100)) (Char Zero) True",fontsize=16,color="black",shape="box"];238 -> 283[label="",style="solid", color="black", weight=3];
239[label="fromEnum (Char Zero) - fromEnum (Char Zero)",fontsize=16,color="black",shape="triangle"];239 -> 284[label="",style="solid", color="black", weight=3];
429[label="index1 (Char (Succ wv22)) (Char wv230) (Char (Succ wv24)) (not (primCmpNat (Succ wv24) wv230 == GT))",fontsize=16,color="burlywood",shape="box"];734[label="wv230/Succ wv2300",fontsize=10,color="white",style="solid",shape="box"];429 -> 734[label="",style="solid", color="burlywood", weight=9];
734 -> 432[label="",style="solid", color="burlywood", weight=3];
735[label="wv230/Zero",fontsize=10,color="white",style="solid",shape="box"];429 -> 735[label="",style="solid", color="burlywood", weight=9];
735 -> 433[label="",style="solid", color="burlywood", weight=3];
472[label="index1 (Char Zero) (Char (Succ wv36)) (Char (Succ wv37)) (not (primCmpNat (Succ wv380) wv39 == GT))",fontsize=16,color="burlywood",shape="box"];736[label="wv39/Succ wv390",fontsize=10,color="white",style="solid",shape="box"];472 -> 736[label="",style="solid", color="burlywood", weight=9];
736 -> 477[label="",style="solid", color="burlywood", weight=3];
737[label="wv39/Zero",fontsize=10,color="white",style="solid",shape="box"];472 -> 737[label="",style="solid", color="burlywood", weight=9];
737 -> 478[label="",style="solid", color="burlywood", weight=3];
473[label="index1 (Char Zero) (Char (Succ wv36)) (Char (Succ wv37)) (not (primCmpNat Zero wv39 == GT))",fontsize=16,color="burlywood",shape="box"];738[label="wv39/Succ wv390",fontsize=10,color="white",style="solid",shape="box"];473 -> 738[label="",style="solid", color="burlywood", weight=9];
738 -> 479[label="",style="solid", color="burlywood", weight=3];
739[label="wv39/Zero",fontsize=10,color="white",style="solid",shape="box"];473 -> 739[label="",style="solid", color="burlywood", weight=9];
739 -> 480[label="",style="solid", color="burlywood", weight=3];
282[label="index1 (Char Zero) (Char Zero) (Char (Succ wv400)) False",fontsize=16,color="black",shape="box"];282 -> 293[label="",style="solid", color="black", weight=3];
283 -> 239[label="",style="dashed", color="red", weight=0];
283[label="fromEnum (Char Zero) - fromEnum (Char Zero)",fontsize=16,color="magenta"];284[label="primMinusInt (fromEnum (Char Zero)) (fromEnum (Char Zero))",fontsize=16,color="black",shape="box"];284 -> 294[label="",style="solid", color="black", weight=3];
432[label="index1 (Char (Succ wv22)) (Char (Succ wv2300)) (Char (Succ wv24)) (not (primCmpNat (Succ wv24) (Succ wv2300) == GT))",fontsize=16,color="black",shape="box"];432 -> 436[label="",style="solid", color="black", weight=3];
433[label="index1 (Char (Succ wv22)) (Char Zero) (Char (Succ wv24)) (not (primCmpNat (Succ wv24) Zero == GT))",fontsize=16,color="black",shape="box"];433 -> 437[label="",style="solid", color="black", weight=3];
477[label="index1 (Char Zero) (Char (Succ wv36)) (Char (Succ wv37)) (not (primCmpNat (Succ wv380) (Succ wv390) == GT))",fontsize=16,color="black",shape="box"];477 -> 486[label="",style="solid", color="black", weight=3];
478[label="index1 (Char Zero) (Char (Succ wv36)) (Char (Succ wv37)) (not (primCmpNat (Succ wv380) Zero == GT))",fontsize=16,color="black",shape="box"];478 -> 487[label="",style="solid", color="black", weight=3];
479[label="index1 (Char Zero) (Char (Succ wv36)) (Char (Succ wv37)) (not (primCmpNat Zero (Succ wv390) == GT))",fontsize=16,color="black",shape="box"];479 -> 488[label="",style="solid", color="black", weight=3];
480[label="index1 (Char Zero) (Char (Succ wv36)) (Char (Succ wv37)) (not (primCmpNat Zero Zero == GT))",fontsize=16,color="black",shape="box"];480 -> 489[label="",style="solid", color="black", weight=3];
293[label="index0 (Char Zero) (Char Zero) (Char (Succ wv400)) otherwise",fontsize=16,color="black",shape="box"];293 -> 304[label="",style="solid", color="black", weight=3];
294[label="primMinusInt (primCharToInt (Char Zero)) (fromEnum (Char Zero))",fontsize=16,color="black",shape="box"];294 -> 305[label="",style="solid", color="black", weight=3];
436 -> 628[label="",style="dashed", color="red", weight=0];
436[label="index1 (Char (Succ wv22)) (Char (Succ wv2300)) (Char (Succ wv24)) (not (primCmpNat wv24 wv2300 == GT))",fontsize=16,color="magenta"];436 -> 629[label="",style="dashed", color="magenta", weight=3];
436 -> 630[label="",style="dashed", color="magenta", weight=3];
436 -> 631[label="",style="dashed", color="magenta", weight=3];
436 -> 632[label="",style="dashed", color="magenta", weight=3];
436 -> 633[label="",style="dashed", color="magenta", weight=3];
437[label="index1 (Char (Succ wv22)) (Char Zero) (Char (Succ wv24)) (not (GT == GT))",fontsize=16,color="black",shape="box"];437 -> 476[label="",style="solid", color="black", weight=3];
486 -> 443[label="",style="dashed", color="red", weight=0];
486[label="index1 (Char Zero) (Char (Succ wv36)) (Char (Succ wv37)) (not (primCmpNat wv380 wv390 == GT))",fontsize=16,color="magenta"];486 -> 495[label="",style="dashed", color="magenta", weight=3];
486 -> 496[label="",style="dashed", color="magenta", weight=3];
487[label="index1 (Char Zero) (Char (Succ wv36)) (Char (Succ wv37)) (not (GT == GT))",fontsize=16,color="black",shape="box"];487 -> 497[label="",style="solid", color="black", weight=3];
488[label="index1 (Char Zero) (Char (Succ wv36)) (Char (Succ wv37)) (not (LT == GT))",fontsize=16,color="black",shape="box"];488 -> 498[label="",style="solid", color="black", weight=3];
489[label="index1 (Char Zero) (Char (Succ wv36)) (Char (Succ wv37)) (not (EQ == GT))",fontsize=16,color="black",shape="box"];489 -> 499[label="",style="solid", color="black", weight=3];
304[label="index0 (Char Zero) (Char Zero) (Char (Succ wv400)) True",fontsize=16,color="black",shape="box"];304 -> 318[label="",style="solid", color="black", weight=3];
305[label="primMinusInt (Pos Zero) (fromEnum (Char Zero))",fontsize=16,color="black",shape="box"];305 -> 319[label="",style="solid", color="black", weight=3];
629[label="wv24",fontsize=16,color="green",shape="box"];630[label="wv24",fontsize=16,color="green",shape="box"];631[label="wv2300",fontsize=16,color="green",shape="box"];632[label="wv22",fontsize=16,color="green",shape="box"];633[label="wv2300",fontsize=16,color="green",shape="box"];628[label="index1 (Char (Succ wv52)) (Char (Succ wv53)) (Char (Succ wv54)) (not (primCmpNat wv55 wv56 == GT))",fontsize=16,color="burlywood",shape="triangle"];743[label="wv55/Succ wv550",fontsize=10,color="white",style="solid",shape="box"];628 -> 743[label="",style="solid", color="burlywood", weight=9];
743 -> 664[label="",style="solid", color="burlywood", weight=3];
744[label="wv55/Zero",fontsize=10,color="white",style="solid",shape="box"];628 -> 744[label="",style="solid", color="burlywood", weight=9];
744 -> 665[label="",style="solid", color="burlywood", weight=3];
476[label="index1 (Char (Succ wv22)) (Char Zero) (Char (Succ wv24)) (not True)",fontsize=16,color="black",shape="box"];476 -> 485[label="",style="solid", color="black", weight=3];
495[label="wv380",fontsize=16,color="green",shape="box"];496[label="wv390",fontsize=16,color="green",shape="box"];497[label="index1 (Char Zero) (Char (Succ wv36)) (Char (Succ wv37)) (not True)",fontsize=16,color="black",shape="box"];497 -> 505[label="",style="solid", color="black", weight=3];
498[label="index1 (Char Zero) (Char (Succ wv36)) (Char (Succ wv37)) (not False)",fontsize=16,color="black",shape="triangle"];498 -> 506[label="",style="solid", color="black", weight=3];
499 -> 498[label="",style="dashed", color="red", weight=0];
499[label="index1 (Char Zero) (Char (Succ wv36)) (Char (Succ wv37)) (not False)",fontsize=16,color="magenta"];318 -> 80[label="",style="dashed", color="red", weight=0];
318[label="error []",fontsize=16,color="magenta"];319[label="primMinusInt (Pos Zero) (primCharToInt (Char Zero))",fontsize=16,color="black",shape="box"];319 -> 329[label="",style="solid", color="black", weight=3];
664[label="index1 (Char (Succ wv52)) (Char (Succ wv53)) (Char (Succ wv54)) (not (primCmpNat (Succ wv550) wv56 == GT))",fontsize=16,color="burlywood",shape="box"];747[label="wv56/Succ wv560",fontsize=10,color="white",style="solid",shape="box"];664 -> 747[label="",style="solid", color="burlywood", weight=9];
747 -> 666[label="",style="solid", color="burlywood", weight=3];
748[label="wv56/Zero",fontsize=10,color="white",style="solid",shape="box"];664 -> 748[label="",style="solid", color="burlywood", weight=9];
748 -> 667[label="",style="solid", color="burlywood", weight=3];
665[label="index1 (Char (Succ wv52)) (Char (Succ wv53)) (Char (Succ wv54)) (not (primCmpNat Zero wv56 == GT))",fontsize=16,color="burlywood",shape="box"];749[label="wv56/Succ wv560",fontsize=10,color="white",style="solid",shape="box"];665 -> 749[label="",style="solid", color="burlywood", weight=9];
749 -> 668[label="",style="solid", color="burlywood", weight=3];
750[label="wv56/Zero",fontsize=10,color="white",style="solid",shape="box"];665 -> 750[label="",style="solid", color="burlywood", weight=9];
750 -> 669[label="",style="solid", color="burlywood", weight=3];
485 -> 330[label="",style="dashed", color="red", weight=0];
485[label="index1 (Char (Succ wv22)) (Char Zero) (Char (Succ wv24)) False",fontsize=16,color="magenta"];485 -> 494[label="",style="dashed", color="magenta", weight=3];
505[label="index1 (Char Zero) (Char (Succ wv36)) (Char (Succ wv37)) False",fontsize=16,color="black",shape="box"];505 -> 514[label="",style="solid", color="black", weight=3];
506[label="index1 (Char Zero) (Char (Succ wv36)) (Char (Succ wv37)) True",fontsize=16,color="black",shape="box"];506 -> 515[label="",style="solid", color="black", weight=3];
329[label="primMinusInt (Pos Zero) (Pos Zero)",fontsize=16,color="black",shape="box"];329 -> 339[label="",style="solid", color="black", weight=3];
666[label="index1 (Char (Succ wv52)) (Char (Succ wv53)) (Char (Succ wv54)) (not (primCmpNat (Succ wv550) (Succ wv560) == GT))",fontsize=16,color="black",shape="box"];666 -> 670[label="",style="solid", color="black", weight=3];
667[label="index1 (Char (Succ wv52)) (Char (Succ wv53)) (Char (Succ wv54)) (not (primCmpNat (Succ wv550) Zero == GT))",fontsize=16,color="black",shape="box"];667 -> 671[label="",style="solid", color="black", weight=3];
668[label="index1 (Char (Succ wv52)) (Char (Succ wv53)) (Char (Succ wv54)) (not (primCmpNat Zero (Succ wv560) == GT))",fontsize=16,color="black",shape="box"];668 -> 672[label="",style="solid", color="black", weight=3];
669[label="index1 (Char (Succ wv52)) (Char (Succ wv53)) (Char (Succ wv54)) (not (primCmpNat Zero Zero == GT))",fontsize=16,color="black",shape="box"];669 -> 673[label="",style="solid", color="black", weight=3];
494[label="Char Zero",fontsize=16,color="green",shape="box"];514[label="index0 (Char Zero) (Char (Succ wv36)) (Char (Succ wv37)) otherwise",fontsize=16,color="black",shape="box"];514 -> 524[label="",style="solid", color="black", weight=3];
515[label="fromEnum (Char (Succ wv37)) - fromEnum (Char Zero)",fontsize=16,color="black",shape="box"];515 -> 525[label="",style="solid", color="black", weight=3];
339[label="primMinusNat Zero Zero",fontsize=16,color="black",shape="box"];339 -> 351[label="",style="solid", color="black", weight=3];
670 -> 628[label="",style="dashed", color="red", weight=0];
670[label="index1 (Char (Succ wv52)) (Char (Succ wv53)) (Char (Succ wv54)) (not (primCmpNat wv550 wv560 == GT))",fontsize=16,color="magenta"];670 -> 674[label="",style="dashed", color="magenta", weight=3];
670 -> 675[label="",style="dashed", color="magenta", weight=3];
671[label="index1 (Char (Succ wv52)) (Char (Succ wv53)) (Char (Succ wv54)) (not (GT == GT))",fontsize=16,color="black",shape="box"];671 -> 676[label="",style="solid", color="black", weight=3];
672[label="index1 (Char (Succ wv52)) (Char (Succ wv53)) (Char (Succ wv54)) (not (LT == GT))",fontsize=16,color="black",shape="box"];672 -> 677[label="",style="solid", color="black", weight=3];
673[label="index1 (Char (Succ wv52)) (Char (Succ wv53)) (Char (Succ wv54)) (not (EQ == GT))",fontsize=16,color="black",shape="box"];673 -> 678[label="",style="solid", color="black", weight=3];
524[label="index0 (Char Zero) (Char (Succ wv36)) (Char (Succ wv37)) True",fontsize=16,color="black",shape="box"];524 -> 532[label="",style="solid", color="black", weight=3];
525[label="primMinusInt (fromEnum (Char (Succ wv37))) (fromEnum (Char Zero))",fontsize=16,color="black",shape="box"];525 -> 533[label="",style="solid", color="black", weight=3];
351[label="Pos Zero",fontsize=16,color="green",shape="box"];674[label="wv550",fontsize=16,color="green",shape="box"];675[label="wv560",fontsize=16,color="green",shape="box"];676[label="index1 (Char (Succ wv52)) (Char (Succ wv53)) (Char (Succ wv54)) (not True)",fontsize=16,color="black",shape="box"];676 -> 679[label="",style="solid", color="black", weight=3];
677[label="index1 (Char (Succ wv52)) (Char (Succ wv53)) (Char (Succ wv54)) (not False)",fontsize=16,color="black",shape="triangle"];677 -> 680[label="",style="solid", color="black", weight=3];
678 -> 677[label="",style="dashed", color="red", weight=0];
678[label="index1 (Char (Succ wv52)) (Char (Succ wv53)) (Char (Succ wv54)) (not False)",fontsize=16,color="magenta"];532 -> 80[label="",style="dashed", color="red", weight=0];
532[label="error []",fontsize=16,color="magenta"];533[label="primMinusInt (primCharToInt (Char (Succ wv37))) (fromEnum (Char Zero))",fontsize=16,color="black",shape="box"];533 -> 542[label="",style="solid", color="black", weight=3];
679 -> 330[label="",style="dashed", color="red", weight=0];
679[label="index1 (Char (Succ wv52)) (Char (Succ wv53)) (Char (Succ wv54)) False",fontsize=16,color="magenta"];679 -> 681[label="",style="dashed", color="magenta", weight=3];
679 -> 682[label="",style="dashed", color="magenta", weight=3];
679 -> 683[label="",style="dashed", color="magenta", weight=3];
680[label="index1 (Char (Succ wv52)) (Char (Succ wv53)) (Char (Succ wv54)) True",fontsize=16,color="black",shape="box"];680 -> 684[label="",style="solid", color="black", weight=3];
542[label="primMinusInt (Pos (Succ wv37)) (fromEnum (Char Zero))",fontsize=16,color="black",shape="box"];542 -> 552[label="",style="solid", color="black", weight=3];
681[label="Char (Succ wv53)",fontsize=16,color="green",shape="box"];682[label="wv52",fontsize=16,color="green",shape="box"];683[label="wv54",fontsize=16,color="green",shape="box"];684[label="fromEnum (Char (Succ wv54)) - fromEnum (Char (Succ wv52))",fontsize=16,color="black",shape="box"];684 -> 685[label="",style="solid", color="black", weight=3];
552[label="primMinusInt (Pos (Succ wv37)) (primCharToInt (Char Zero))",fontsize=16,color="black",shape="box"];552 -> 560[label="",style="solid", color="black", weight=3];
685[label="primMinusInt (fromEnum (Char (Succ wv54))) (fromEnum (Char (Succ wv52)))",fontsize=16,color="black",shape="box"];685 -> 686[label="",style="solid", color="black", weight=3];
560[label="primMinusInt (Pos (Succ wv37)) (Pos Zero)",fontsize=16,color="black",shape="box"];560 -> 570[label="",style="solid", color="black", weight=3];
686[label="primMinusInt (primCharToInt (Char (Succ wv54))) (fromEnum (Char (Succ wv52)))",fontsize=16,color="black",shape="box"];686 -> 687[label="",style="solid", color="black", weight=3];
570[label="primMinusNat (Succ wv37) Zero",fontsize=16,color="black",shape="box"];570 -> 581[label="",style="solid", color="black", weight=3];
687[label="primMinusInt (Pos (Succ wv54)) (fromEnum (Char (Succ wv52)))",fontsize=16,color="black",shape="box"];687 -> 688[label="",style="solid", color="black", weight=3];
581[label="Pos (Succ wv37)",fontsize=16,color="green",shape="box"];688[label="primMinusInt (Pos (Succ wv54)) (primCharToInt (Char (Succ wv52)))",fontsize=16,color="black",shape="box"];688 -> 689[label="",style="solid", color="black", weight=3];
689[label="primMinusInt (Pos (Succ wv54)) (Pos (Succ wv52))",fontsize=16,color="black",shape="box"];689 -> 690[label="",style="solid", color="black", weight=3];
690[label="primMinusNat (Succ wv54) (Succ wv52)",fontsize=16,color="black",shape="box"];690 -> 691[label="",style="solid", color="black", weight=3];
691[label="primMinusNat wv54 wv52",fontsize=16,color="burlywood",shape="triangle"];756[label="wv54/Succ wv540",fontsize=10,color="white",style="solid",shape="box"];691 -> 756[label="",style="solid", color="burlywood", weight=9];
756 -> 692[label="",style="solid", color="burlywood", weight=3];
757[label="wv54/Zero",fontsize=10,color="white",style="solid",shape="box"];691 -> 757[label="",style="solid", color="burlywood", weight=9];
757 -> 693[label="",style="solid", color="burlywood", weight=3];
692[label="primMinusNat (Succ wv540) wv52",fontsize=16,color="burlywood",shape="box"];758[label="wv52/Succ wv520",fontsize=10,color="white",style="solid",shape="box"];692 -> 758[label="",style="solid", color="burlywood", weight=9];
758 -> 694[label="",style="solid", color="burlywood", weight=3];
759[label="wv52/Zero",fontsize=10,color="white",style="solid",shape="box"];692 -> 759[label="",style="solid", color="burlywood", weight=9];
759 -> 695[label="",style="solid", color="burlywood", weight=3];
693[label="primMinusNat Zero wv52",fontsize=16,color="burlywood",shape="box"];760[label="wv52/Succ wv520",fontsize=10,color="white",style="solid",shape="box"];693 -> 760[label="",style="solid", color="burlywood", weight=9];
760 -> 696[label="",style="solid", color="burlywood", weight=3];
761[label="wv52/Zero",fontsize=10,color="white",style="solid",shape="box"];693 -> 761[label="",style="solid", color="burlywood", weight=9];
761 -> 697[label="",style="solid", color="burlywood", weight=3];
694[label="primMinusNat (Succ wv540) (Succ wv520)",fontsize=16,color="black",shape="box"];694 -> 698[label="",style="solid", color="black", weight=3];
695[label="primMinusNat (Succ wv540) Zero",fontsize=16,color="black",shape="box"];695 -> 699[label="",style="solid", color="black", weight=3];
696[label="primMinusNat Zero (Succ wv520)",fontsize=16,color="black",shape="box"];696 -> 700[label="",style="solid", color="black", weight=3];
697[label="primMinusNat Zero Zero",fontsize=16,color="black",shape="box"];697 -> 701[label="",style="solid", color="black", weight=3];
698 -> 691[label="",style="dashed", color="red", weight=0];
698[label="primMinusNat wv540 wv520",fontsize=16,color="magenta"];698 -> 702[label="",style="dashed", color="magenta", weight=3];
698 -> 703[label="",style="dashed", color="magenta", weight=3];
699[label="Pos (Succ wv540)",fontsize=16,color="green",shape="box"];700[label="Neg (Succ wv520)",fontsize=16,color="green",shape="box"];701[label="Pos Zero",fontsize=16,color="green",shape="box"];702[label="wv540",fontsize=16,color="green",shape="box"];703[label="wv520",fontsize=16,color="green",shape="box"];}

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ LetRed

            ↳ HASKELL

              ↳ Narrow

                ↳ AND

                  ↳ QDP

                    ↳ QDPSizeChangeProof

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_primMinusNat(Succ(wv540), Succ(wv520)) → new_primMinusNat(wv540, wv520)

R is empty.
Q is empty.
We have to consider all minimal (P,Q,R)-chains.
By using the subterm criterion [20] together with the size-change analysis [32] we have proven that there are no infinite chains for this DP problem.

From the DPs we obtained the following set of size-change graphs:

new_primMinusNat(Succ(wv540), Succ(wv520)) → new_primMinusNat(wv540, wv520)
The graph contains the following edges 1 > 1, 2 > 2

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ LetRed

            ↳ HASKELL

              ↳ Narrow

                ↳ AND

                  ↳ QDP

                  ↳ QDP

                    ↳ QDPSizeChangeProof

                  ↳ QDP

                  ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_index1(wv36, wv37, Succ(wv380), Succ(wv390)) → new_index1(wv36, wv37, wv380, wv390)

From the DPs we obtained the following set of size-change graphs:

new_index1(wv36, wv37, Succ(wv380), Succ(wv390)) → new_index1(wv36, wv37, wv380, wv390)
The graph contains the following edges 1 >= 1, 2 >= 2, 3 > 3, 4 > 4

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ LetRed

            ↳ HASKELL

              ↳ Narrow

                ↳ AND

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                    ↳ QDPSizeChangeProof

                  ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_index10(wv52, wv53, wv54, Succ(wv550), Succ(wv560)) → new_index10(wv52, wv53, wv54, wv550, wv560)

From the DPs we obtained the following set of size-change graphs:

new_index10(wv52, wv53, wv54, Succ(wv550), Succ(wv560)) → new_index10(wv52, wv53, wv54, wv550, wv560)
The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 3, 4 > 4, 5 > 5

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ LetRed

            ↳ HASKELL

              ↳ Narrow

                ↳ AND

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                    ↳ QDPSizeChangeProof

Q DP problem:
The TRS P consists of the following rules:

new_index11(wv22, wv23, wv24, Succ(wv250), Succ(wv260)) → new_index11(wv22, wv23, wv24, wv250, wv260)

From the DPs we obtained the following set of size-change graphs:

new_index11(wv22, wv23, wv24, Succ(wv250), Succ(wv260)) → new_index11(wv22, wv23, wv24, wv250, wv260)
The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 3, 4 > 4, 5 > 5

index1	vw vx ci True	= fromEnum ci - fromEnum vw
index1	vw vx ci False	= index0 vw vx ci otherwise